Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
421	PDF Document Add to Reading List Source URL: ellislab.com Language: English Software engineering ALGOL 68 Email ICQ Computing Programming language theory Procedural programming languages
422	Universidad de Buenos Aires Enhancing speculative code parallelization in VMAD with new patterns Author Juan Manuel Martinez Caama˜ Add to Reading List Source URL: dc.uba.ar Language: English - Date: 2013-10-28 12:48:12 Software engineering Loop optimization Automatic parallelization Polytope model Iterator Ciclos Compiler optimizations Programming language theory Computing
423	In Defense of Probabilistic Static Analysis Shuvendu K. Lahiri Benjamin Livshits Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-03-24 19:21:12 Software engineering Type theory Pointer Static single assignment form Statistical power Causality Datalog Null Programming language theory Computing Data types
424	ClojureBridge MN Bringing ClojureBridge to Minnesota with clojure.mn Add to Reading List Source URL: info9.net Language: English - Date: 2014-03-09 18:21:22 Functional languages Lisp programming language Clojure Lisp Read–eval–print loop Computing Software engineering Programming language theory
425	Formatting Variables in C-Max 2.0 One of the many new features in C-Max 2.0 is the enhanced formatting now available for variables. This new capability is available in two distinct areas of “variable” usage: in embed Add to Reading List Source URL: www.appdig.com Language: English - Date: 2002-12-20 16:33:48 Data types Type theory Character encoding Procedural programming languages Variables ASCII String Value ALGOL 68 Software engineering Computing Programming language theory
426	Utilizing Static Analysis for Programmable Logic Controllers S´ebastien Bornot Ralf Huuck † Ben Lukoschus Lehrstuhl f¨ur Softwaretechnologie Universit¨at Kiel Preußerstraße 1–9, DKiel, Germany seb rhu bls Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 05:57:33 Data types Type theory Theoretical computer science Program analysis Programming language implementation Abstract interpretation Type system Model checking Programming language Software engineering Computing Computer programming
427	§1 1. Printing primes: An example of WEB. The following program is essentially the same as Edsger Dijkstra’s “first example of step-wise program composition,” found on pages 26–39 of his Notes on Structured Prog Add to Reading List Source URL: www.literateprogramming.com Language: English - Date: 2007-10-09 02:24:04 Programming language theory Prime number ALGOL 68 C++ classes Number theory Formula for primes On-Line Encyclopedia of Integer Sequences Integer sequences Mathematics Numbers
428	Mining opportunities for unique inhabitants in dependent programs Gabriel Scherer, PhD student, Gallium (INRIA Paris-Rocquencourt) 1 Research Background Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-09-23 11:30:06 Type theory Functional languages Dependent type Type system Type inference Coq Programming language Agda Type safety Programming language theory Software engineering Computing
429	4mm DDS/DAT VOL-SER Label Ordering Instructions In order to avoid delays in processing your label order, please follow the ordering instructions outlined below. All required fields must be completed. Add to Reading List Source URL: www.fujifilmusa.com Language: English - Date: 2006-09-14 19:11:48 Software engineering Programming language theory Computing DEC Alpha C
430	PDF Document Add to Reading List Source URL: s3.amazonaws.com Language: English - Date: 2014-10-28 09:06:18 Erlang programming language Computer programming Ericsson Erlang C dynamic memory allocation Queueing theory Erlang distribution Computing Network performance Statistics

UPDATE